Homomorphic Encryption of Supervisory Control Systems Using Automata
نویسندگان
چکیده
منابع مشابه
Supervisory Control of Hybrid Systems Using Approximating Hybrid Automata
Special Issue on " Control in Hybrid Systems " Abstract This paper describes an approach to synthesizing discrete controllers for hybrid systems based on finite-state approximations of the hybrid system dynamics. The plant is a hybrid system with continuous dynamics that can be switched by a discrete-valued input signal. The information available to the supervisory controller is an event signal...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملPrivacy Preserving using Homomorphic Encryption
In the recent time, privacy preserving has been studied extensively, because of the extensive explosion of sensitive information. Privacy preserving is one of the important areas that aim to provide security for secret information from unsolicited or unsanctioned disclosure. This has triggered the development of much privacy preserving technique using encryption algorithm. This work will presen...
متن کاملA Stream Symmetric Homomorphic Encryption Scheme with Finite Automata
This paper presents a new homomorphic encryption scheme which uses sequential machines as a basis to produce a stream-symmetric encryption, which can be expanded to a homomorphic encryption with the help of the operation over automata called serial composition, allowing the application of any operation that can be represented by means of a finite automaton, on the set which contains the cipher-...
متن کاملOptimal supervisory control of finite state automata
This paper presents optimal supervisory control of dynamical systems that can be represented by deterministic finite state automaton (DFSA) models. The performance index for the optimal policy is obtained by combining a measure of the supervised plant language with (possible) penalty on disabling of controllable events. The signed real measure quantifies the behaviour of controlled sublanguages...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.3014217